Language software

Results: 21611



#Item
831Computer programming / Software engineering / Computer programmers / Holism / Source code / Control flow / Code.org / Programming language / Programmer / Infinite loop / Computer / Subroutine

Microsoft Word - KodableHOC_4.docx

Add to Reading List

Source URL: resources.kodable.com

Language: English - Date: 2015-10-15 00:46:09
832Software engineering / Type theory / Programming language theory / Computing / Parametric polymorphism / Polymorphism / Type system / Covariance and contravariance / HindleyMilner type system / Type inference / Subtyping / System F

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2010-12-28 20:49:23
833Computing / Computer access control / Software / Identity management / Federated identity / Java enterprise platform / Java platform / OpenAM / ForgeRock / OpenDJ / Single sign-on / Security Assertion Markup Language

CASE STUDY: PLUS RETAIL AXI ITS, a ForgeRock partner, Implements a Federated SSO Architecture for PLUS Retail About PLUS Retail PLUS Retail is a subsidiary of Sparrowhawk Group, an organization run by and for independen

Add to Reading List

Source URL: www.forgerock.com

Language: English - Date: 2015-06-10 15:46:52
834Software engineering / Computer programming / Computing / Object-oriented programming languages / Concurrent programming languages / Java / Cross-platform software / Objective-C / Method

COMP 520 FallThe JOOS language (1) COMP 520 Fall 2007

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-09-24 10:40:34
835Software engineering / Computing / Computer programming / Programming paradigms / Technical communication / Constraint programming / Declarative programming / Eval / Programming language / Design / Usability / APL

Euclase: A Live Development Environment with Constraints and FSMs Stephen Oney, Brad A. Myers Joel Brandt

Add to Reading List

Source URL: liveprogramming.github.io

Language: English - Date: 2013-05-19 19:35:21
836Algebra / Mathematics / Software engineering / Predicate logic / Abstract interpretation / Galois connection / Galois theory / Order theory / Linear map / Free variables and bound variables / Loop invariant / Flow chart language

Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux†

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2011-01-14 08:37:02
837Software engineering / Computing / Software / Cross-platform software / Ezhil / Eval / Python / Educational technology

Learning Ezhil Language via Web Page 1 of 5 Learning Ezhil Language via Web A. Muthiah1 (Ph.D), M. Annamalai 2 (M.Sc)

Add to Reading List

Source URL: ezhillang.org

Language: English - Date: 2014-12-10 23:34:49
838Java platform / Java / Computing platforms / Cross-platform software / Concurrent programming languages / Java bytecode / This / Constructor

COMP 520 FallThe language

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-09-24 10:40:20
839Computing / Software / Computer programming / Compilers / Programming language implementation / Memory management / Computer memory / Shellcode / Mach-O / Dynamic linker / Address space layout randomization / Portable Executable

Let your Mach-O fly Vincenzo Iozzo January 15, 2009 Abstract Mac OS X is starting to spread among users, so new exploitation

Add to Reading List

Source URL: www.trailofbits.com

Language: English - Date: 2016-04-15 11:36:17
840Computer science / Computing / Software engineering / Association for Computing Machinery / Programming Language Design and Implementation / International Conference on Functional Programming / Symposium on Principles of Programming Languages / SIGPLAN / Federated Computing Research Conference / Programming language theory / SPLASH / Actor model

On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound

Add to Reading List

Source URL: janvitek.org

Language: English - Date: 2015-12-20 10:11:42
UPDATE